A. K. Simpson. 2017; "Cyclic Arithmetic Is Equivalent to Peano Arithmetic"
Memo
Alex K. Simpson
Memo
循環算術
$ \mathbf{CA}
と
Peano算術
$ \mathbf{PA}
の証明能力は同等